perm filename MICHIE.2[LET,JMC] blob
sn#534944 filedate 1980-09-16 generic text, type C, neo UTF8
COMMENT ⊗ VALID 00002 PAGES
C REC PAGE DESCRIPTION
C00001 00001
C00002 00002 .require "let.pub[let,jmc]" source
C00004 ENDMK
C⊗;
.require "let.pub[let,jmc]" source;
∂AIL Professor Donald Michie↓Department of Computer Science
↓222 Digital Computer Laboratory↓Urbana, Illinois 61801∞
.<<217 333-4428>>
Dear Donald:
Thanks for your letter of 8 Sept. I didn't remember our
discussion as argumentative.
Before I can have an opinion on the correspondence between
partially constructed traffic lights and partially constructed
decision trees, I have to get my thoughts in better order about
physical construction. Maybe I can answer your letter better
later or send you something that may be helpful. FOL is not
a problem solving system in itself, so eventually we will need
one that has sufficient epistemological generality in the
objects it can contemplate. Lew Creary here, a philosopher by
background, is thinking about such a problem solver.
The workshop program looks interesting, and I'll give you
a definite answer by the end of November, but it conflicts with
a meeting in Spain I want to go to on te way to spend May in
Marseille. I may come but leave on the 24th or evening of 23rd.
.reg
cc: Creary